1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
use super::*;
pub fn instant(input: &str) -> IResult<&str, Instant> {
map(
delimited(
preceded(tag(INSTANT), ws),
separated_pair(ident, opt(ws), opt(constraints)),
preceded(opt(ws), tag(STMT_SEP)),
),
|(id, constraint)| Instant {
name: Expr::ident_str(id),
constraint,
},
)(input)
}
pub fn lifetime(input: &str) -> IResult<&str, Option<Constraints>> {
preceded(tag(LIFETIME), opt(constraints))(input)
}
pub fn constraints(input: &str) -> IResult<&str, Constraints> {
map(
delimited(
preceded(tag("{"), opt(ws)),
separated_list0(delimited(opt(ws), tag(","), opt(ws)), constraint),
preceded(opt(ws), tag("}")),
),
Constraints,
)(input)
}
pub fn constraint(input: &str) -> IResult<&str, Constraint> {
map(
separated_pair(relationship, opt(ws), ident),
|(relationship, ident)| Constraint(relationship, ident.to_owned()),
)(input)
}